Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
241	Parameterised Electromagnetic Scattering Solutions for a Range of Incident Wave Angles P.D. Ledger∗1 , J. Peraire† , K. Morgan∗ , O. Hassan∗ & N.P. Weatherill∗ ∗ Civil and Computational Engineering Centre, U Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2005-08-31 10:34:58 Calculus Euclidean plane geometry Golden ratio Trigonometric functions Polar coordinate system Curvilinear coordinates Wave equation Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Mathematics Coordinate systems
242	Journal of Machine Learning Research ? ([removed]Submitted 8/09; Published ??/?? Information, Divergence and Risk for Binary Experiments Mark D. Reid Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-08-23 23:03:10 Generalized functions Functional analysis Bregman divergence Distribution Function Static single assignment form Calculus of variations Golden ratio Linear temporal logic Mathematical analysis Mathematics Geometry
243	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic
244	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Efficient Monitoring of Safety Properties Klaus Havelund1 , Grigore Ro¸su2? 1 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:10 Temporal logic Model theory Linear temporal logic Propositional calculus FO Interpretation General frame If and only if Mathematical logic Logic Mathematics
245	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
246	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
247	The Theory and Practice of SALT Andreas Bauer1 and Martin Leucker2 1 NICTA Canberra Research Lab and The Australian National University 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2011-02-20 17:19:51 Logical syntax Logic in computer science Linear temporal logic Model checking Propositional calculus First-order logic Logical connective LTL Proposition Logic Mathematical logic Temporal logic
248	Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-04-26 23:57:05 Logic in computer science Diagnosis Runtime verification Linear temporal logic Model checking Medical diagnosis Actor model Modal logic Temporal logic Logic Artificial intelligence Formal methods
249	Goal specification using temporal logic in presence of non-deterministic actions Chitta Baral Matt Barry Department of Computer Sc. and Engg. Advance Tech Development Lab Arizona State University Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2007-09-11 20:03:24 Mathematics Linear temporal logic CTL* Model theory Modal logic Structure Temporal logic Logic Mathematical logic
250	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics

UPDATE